coproduct of objects

对象的余积